Sharing Is Scaring: Linking Cloud File-Sharing to Programming Language Semantics
cs.brown.edu·11h·
Discuss: Hacker News
🔗Archive Combinators
Embedding MicroHs
thma.github.io·1d
🔗Functional Compilers
Quirks of Common Lisp Types
fosskers.ca·5h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Measuring Reasoning Utility in LLMs via Conditional Entropy Reduction
arxiv.org·2d
🧠Intelligence Compression
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·2h·
Discuss: Hacker News
🔩Systems Programming
A type system for RCL (2024)
ruudvanasseldonk.com·10h·
Discuss: Lobsters, Hacker News
💧Liquid Types
Bootstrapping a Forth for Art
tia.mat.br·6h·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Footnotes to the week: Mellor, Sets, Mozart
logicmatters.net·8h
🏗️Constructive Analysis
Kern: A production-grade structured Python logger(beats stdlib/loguru/structlog)
medium.com·4h·
Discuss: Hacker News
🔍eBPF
SOLID Principles In 2025 In Practice With Python And UML Examples
dev.to·2d·
Discuss: DEV
🐚Shell Calculus
Micro DSLs for scenario tests with Rust macros
dystroy.org·5h
🦀Rust Macros
Equivalence via Surjections
golem.ph.utexas.edu·1d
🔀Category Theory
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1d
🎯Performance Proofs
LLMs running locally
markjgsmith.com·7h
🌀Brotli Internals
Symmetry in subword segmentation
languagelog.ldc.upenn.edu·6h
📄Text Segmentation
Compiling Dinner
gist.github.com·2d·
Discuss: Hacker News
🔨Compilers
The Art of Transformer Programming (2023)
yanivle.github.io·6h·
Discuss: Hacker News
🤖Lisp Machines
Status Update: August 2025
joshleeb.com·3d
🧩WASM Components
Notes on an overheard conversation between a prescriptivist and a descriptivist
boston.conman.org·2h
🔍Archive Semantics
The Grammar According to West
dwest.web.illinois.edu·3d·
Discuss: Hacker News
🔬Lean